home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work / compile < prev    next >
Text File  |  1992-04-03  |  267b  |  12 lines
  1. #!/bin/csh
  2.  
  3. # qpc -i quintus_compile_options_2.05.8 -D prover_2.06.1 -o qclin2 -QLD -w
  4. # strip qclin2
  5. # rm -f *.qof
  6.  
  7. rm -f compile.out compile.out.1
  8. prolog < compile.in >& compile.out
  9. qld -D -w -o qclin2 compile.out.1 >>& compile.out
  10. rm -f compile.out.1
  11. strip qclin2
  12.